<html>
<head>

<title>Workbench</title>

<script type="text/javascript">
function process(cmd, detail) {
	document.main.cmd.value = cmd;
	document.main.detail.value = detail;
	document.main.submit();
}

function toggle_hide(div_id) {
	var item = document.getElementById(div_id);
	if(item.style.display == "inline-block") {
		item.style.display = "none";
	}
	else {
		item.style.display = "inline-block";
	}
}
</script>

</head>
<body>

